Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
11	Microsoft Word - 16ae-0265_koopman_camera_ready.docx Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2016-03-06 19:15:34 Engineering Safety engineering Systems engineering Software quality Computer systems Control engineering ISO 26262 Life-critical system Reliability engineering Verification and validation Fault tolerance Software testing
12	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68
13	STATE OF MISSOURI DEPARTMENT OF PUBLIC SAFETY OFFICE OF THE DIRECTOR WEBGRANTS GRANTS MANAGEMENT SYSTEM Add to Reading List Source URL: dps.mo.gov Language: English - Date: 2016-07-11 10:20:01 Microsoft Software Computing Webmail Password Security Outlook.com Registered user Address Email address ZIP Code Email
14	Gradual Typing with Efficient Object Casts Michael M. Vitousek Department of Computer Science, University of Colorado at Boulder Space-efficiency in gradually-typed objects Gradual object structure Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:49 Software engineering Computing Computer programming Type theory Data types Object-oriented programming languages Scripting languages Object-oriented programming Gradual typing Type system Type safety ActionScript
15	Architecture Framework for Software Safety Havva Gulay GURBUZ Nagehan PALA ER Bedir TEKINERDOGAN Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:18:26 Aircraft instruments Technology Altimeter Avionics Global Positioning System Aviation accidents and incidents Aeronautics Engineering
16	BOOKS ABOUT E46 M3 S FUSE LOCATION Cityhalllosangeles.com E46 M3 S FUSE LOCATION Add to Reading List Source URL: e.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:35:00 Electrical wiring Electric power Software System software Electric power distribution Fuse Safety equipment Filesystem in Userspace Distribution board
17	Microsoft Word - S339_Division_Supervisor _WFDSS_Module Add to Reading List Source URL: wfdss.usgs.gov Language: English - Date: 2014-08-27 09:48:36 Occupational safety and health Firefighting in the United States Analysis Operations research Business Neuropsychology Firefighting Business software Incident management Decision analysis Decision support system Decision-making
18	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc. Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computing Computer programming Data types Type theory Subroutines Functional programming Lambda calculus Type system Gradual typing Anonymous function Type safety
19	CMDh_340_2015_Rev0_2015 10 Add to Reading List Source URL: www.hma.eu Language: English - Date: 2016-01-07 05:29:42 Software Pharmaceutical industry Pharmaceuticals policy System software Computer architecture Drug Master File Food safety Qualified person QP Good manufacturing practice
20	OSPERT 2015 Keynote Talk Software Architectures for Advanced Driver Assistance Systems (ADAS) Robert Leibinger Elektrobit Automotive GmbH In recent years, the demand for electronic control units (ECUs) has been rapidly g Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2016-07-14 16:23:27 Engineering Safety Automotive software Computing Systems engineering Software quality Software architecture OSEK Standards AUTOSAR Reliability engineering Life-critical system